Every finite sequential machine is linearly realizable
نویسندگان
چکیده
منابع مشابه
When every $P$-flat ideal is flat
In this paper, we study the class of rings in which every $P$-flat ideal is flat and which will be called $PFF$-rings. In particular, Von Neumann regular rings, hereditary rings, semi-hereditary ring, PID and arithmetical rings are examples of $PFF$-rings. In the context domain, this notion coincide with Pr"{u}fer domain. We provide necessary and sufficient conditions for...
متن کاملSpectrum of Two-sided Eigenproblem in Max Algebra: Every System of Intervals Is Realizable
We consider the two-sided eigenproblem A⊗ x = λ⊗ B ⊗ x over max algebra. It is shown that any finite system of real intervals and points can be represented as spectrum of this eigenproblem.
متن کاملEfficient Sequential ATPG Based on Partitioned Finite-State-Machine Traversal
We present a new automatic test pattern generation algorithm for sequential circuits by traversing the partitioned state spaces. The new features include: (1) nondisjoint state groups are obtained such that two different state groups may have common flip-flops, (2) partial state transition graphs (STGs) are constructed at run time for each state group, (3) spectral information for state variabl...
متن کاملEvery Finite Topology is Generated by a Partial Pseudometric
Given any preorder on a finite set X, we present an algorithm to construct a partial pseudometric p on X which generates in the sense that a b if and only if p(a, b) ≤ p(a, a). The specialization topology generated by agrees with the topology generated by the partial pseudometric p-balls, and consequently any topology on X is generated by a partial pseudometric. AMS Subject classification: 54A0...
متن کاملModules for which every non-cosingular submodule is a summand
A module $M$ is lifting if and only if $M$ is amply supplemented and every coclosed submodule of $M$ is a direct summand. In this paper, we are interested in a generalization of lifting modules by removing the condition"amply supplemented" and just focus on modules such that every non-cosingular submodule of them is a summand. We call these modules NS. We investigate some gen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1971
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(71)80012-0